Proposition 4.1.3 (Functoriality of K0)

  1. for any -algebra.
  2. If and are -algebras, and if and then